More from this Author

Formal Methods for Open Object-Based Distributed Systems V

by Bart Jacobs (Editor), Arend Rensink (Editor)

Foundations of Software Science and Computation Structures

by Bart Jacobs (Editor), Christof Loding (Editor)

Foundations of Software Science and Computation Structures

by Bart Jacobs (Editor), Christof Löding (Editor)